МІНІСТЕРСТВО ОСВІТИ І НАУКИ, МОЛОДІ ТА СПОРТУ УКРАЇНИ ХЕРСОНСЬКИЙ ДЕРЖАВНИЙ УНІВЕРСИТЕТ ФАКУЛЬТЕТ ФІЗИКИ, МАТЕМАТИКИ ТА ІНФОРМАТИКИ ЗАТВЕРДЖУЮ до захисту в ДЕК ПЕРШИЙ ПРОРЕКТОР УНІВЕРСИТЕТУ ___________професор О.В. Мішуков ГОНЧАРЕНКО ПАВЛО ОЛЕКСАНДРОВИЧ __________ РЕАЛІЗАЦІЯ РЕЖИМУ АВТОМАТИЧНОЇ ПІДТРИМКИ ПОШАГОВОГО РЕЖИМУ ТРИГОНОМЕТРИЧНИХ ЗАДАЧ У МАТЕМАТИЧНІЙ СИСТЕМІ НАВЧАЛЬНОГО ПРИЗНАЧЕННЯ 8.08.0201 ІНФОРМАТИКА, ІНЖЕНЕР ПРОГРАМІСТ Випускна робота освітньо-кваліфікаційного рівня «Магістр» ПОГОДЖЕНО Декан факультету Науковий керівник ________доцент В.І. Кузьмич ________професор М.С. Львов ________ 2011 р. _______ 2011 р. Завідувач кафедри інформатики Рецензенти: _______професор О.В. Співаковський ________доцент Г.М. Кравцов _______ 2011 р. ________ 2011 р. Херсон – 2011 ЗМІСТ ВСТУП 3 РОЗДІЛ 1. МЕТОДОЛОГІЧНІ ОСНОВИ ПРАКТИЧНОЇ МАТЕМАТИЧНОЇ ДІЯЛЬНОСТІ 5 1.1 Контроль знань як форма зворотного зв’язку в системі навчання 5 1.2 Концепція практичної математичної діяльності 6 1.3 Середовища підтримки практичної математичної діяльності 8 РОЗДІЛ 2. ТЕХНОЛОГІЇ АЛГЕБРАГІЧНОГО ПРОГРАМУВАННЯ 11 2.1 Рівності як правила переписування 11 2.2 Системи правил переписувань 14 2.3 Стратегії переписувань 16 2.4 Мова алгебрагічного програмування APLAN 20 РОЗДІЛ 3. ФУНКЦІОНАЛЬНІСТЬ ТА СКЛАД ІНФОРМАЦІЙНОЇ СИСТЕМИ ПІДТРИМКИ ВИВЧЕННЯ ТРИГОНОМЕТРІЇ 29 3.1 Програмний модуль “Довідник” 29 3.2 Відображення та математичне ядро довідок 34 3.3 Алгоритм виконання довідки 37 3.4 Структура довідок інформаційної системи підтримки вивчення тригонометрії 39 ВИСНОВКИ 60 СПИСОК ВИКОРИСТАНИХ ДЖЕРЕЛ 62 ДОДАТКИ …………………………………………………………………71 Додаток А. Структура файлу std.ap……………………………………….71  ВСТУП Розроблення алгоритмів алгебраїчних обчислень є однією з основних задач, що виникають при реалізації математичних систем, основаних на символьних перетвореннях. Математичною моделлю цієї задачі є багатосортні алгебраїчні системи. Реалізація навіть достатньо простих математичних систем навчального призначення потребує попереднього проектування багатосортної алгебраїчної системи та специфікації інтерпретаторів багатосортних алгебраїчних операторів, що використовують ефективні алгоритми комп’ютерної алгебри. Тригонометрія як математична дисципліна займає особливе місце. Тригонометрію вивчають як окремий розділ шкільної алгебри і широко використовують в інших математичних, фізичних та інженерних дисциплінах. Тому і математичні системи навчального призначення мають підтримувати тригонометричні обчислення. Для реалізації обчислень, основаних на символьних перетвореннях, використовується система алгебраїчного програмування APS. APS використовує технології алгебраїчного програмування, основані на використанні систем правил переписувань та стратегій переписувань. Актуальність цієї роботи полягає в тому, що математичні методи та технології, використанні у розв’язанні завдання – це методи комп’ютерної алгебри та технології алгебраїчних обчислень, вони можуть бути використані в розробці систем учбового призначення для інших предметних областей. Мета полягає у розробці структури елементарних тригонометричних перетворень, які використовуються при розв’язанні тригонометричних задач та створенні за цією структурою програмного модулю Довідник інформаційної системи підтримки вивчення тригонометрії. Об’єкт дослідження – Математичні методи та технологія розробки середовищ підтримки розв’язання навчальних задач в інформаційних системах навчального призначення. Предмет дослідження – Математичні методи та технологія розробки покрокового режиму підтримки розв’язання тригонометричних задач інформаційних системах навчального призначення. Структура роботи. Робота складається зі вступу, трьох розділів, висновків та списку використаних джерел. Перший розділ присвячений питанням необхідності правильної побудови концепції практичної математичної діяльності. Другий розділ оглядає технології алгебраїчного програмування. Присвячений стратегіям переписувань. У третьо...